Нехай X — компактна зв’язна абелева група. Вiдомо, що iснують топологiчнi автоморфiзми αj, βj групи X та незалежнi випадковi величини ξ₁ та ξ₂ зi значеннями в X та розподiлами μ₁, μ₂ такими, що лiнiйнi форми L₁ = α₁ξ₁ + ...